Probabilistic Logic for Belief Nets
نویسندگان
چکیده
We describe how to combine probabilistic logic and Bayesian networks to obtain a new framework (\Bayesian logic") for dealing with uncertainty and causal relationships in an expert system. Probabilistic logic, invented by Boole, is a technique for drawing inferences from uncertain propositions for which there are no independence assumptions. A Bayesian network is a \belief net" that can represent complex conditional independence assumptions. We show how to solve inference problems in Bayesian logic by applying Benders decomposition to a nonlinear programming formulation. We also show that the number of constraints grows only linearly with the problem size for a large class of networks.
منابع مشابه
Representing Statistical Information and Degrees of Belief in First-Order Probabilistic Conditional Logic
Employing maximum entropy methods on probabilistic conditional logic has proven to be a useful approach for commonsense reasoning. Yet, the expressive power of this logic and similar formalisms is limited due to their foundations on propositional logic and in the past few years a lot of proposals have been made for probabilistic reasoning in relational settings. Most of these proposals rely on ...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملA Structured, Probabilistic Model of Action
When agents devise plans for execution in the real world, they face two forms of uncertainty" they can never have complete knowledge about the state of the world, and they do not have complete control, as the effects of their actions are uncertain. Most of the approaches for planning under uncertainty avoid explicit uncertain reasoning by devising methods to render plans less rigid and less dep...
متن کاملFuzzy Belief Nets
This paper introduces fuzzy belief nets (FBN). The ability to invert arcs between nodes is key to solving belief nets. The inversion is accomplished by defining closeness measures which allow diagnostic reasoning from observed symptoms to cause of failures. The closeness measures are motivated by a Lukasiewicz operator which takes into account the distance from an observed symptom set to the mo...
متن کاملDoxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of qualitative plausibility measures and belief corresponds to truth in the most plausible worlds of each epistemic alternative. We provide an axiomatic characterization of these doxastic structures in a bimodal language, ...
متن کامل